ad absurdum

olmayana ergi ile kanıtlanım, abese irca (suretiyle ispat).